Mkb Tt ( System Description ) ?
نویسندگان
چکیده
We describe performance enhancements that have been added to mkbTT, a modern completion tool combining multi-completion with the use of termination tools.
منابع مشابه
Optimizing Mkb Tt (system Description) ⋆
We describe performance enhancements that have been added to mkbTT, a modern completion tool combining multi-completion with the use of termination tools.
متن کاملAn Efficient Implementation of Multi-Context Algebraic Reasoning System with Lazy Evaluation
A multi-context algebraic reasoning system is a computational system which can efficiently simulate parallel processes each executing an algebraic reasoning procedure under a particular context (or a premise). In particular, the multi-completion system MKB simulates the parallel KnuthBendix completion procedures, which, given a set of equations and a set of reduction orderings, try to generate ...
متن کاملMELB-MKB: Lexical Substitution system based on Relatives in Context
In this paper we describe the MELB-MKB system, as entered in the SemEval-2007 lexical substitution task. The core of our system was the “Relatives in Context” unsupervised approach, which ranked the candidate substitutes by web-lookup of the word sequences built combining the target context and each substitute. Our system ranked third in the final evaluation, performing close to the top-ranked ...
متن کاملLazy Evaluation Schemes for Efficient Implementation of Multi-Context Algebraic Completion System
Lazy evaluation is a computational scheme which delays the evaluation of an expression until its value is needed, trying to improve the performance particularly when dealing with large data structure. In this paper, we apply this mechanism to a multi-context algebraic reasoning system which, on a large data structure called the nodes, efficiently simulates parallel processes each executing an a...
متن کاملAcquiring a Knowledge Base of Continuous Processes through a Distributed System
This paper presents a new approach to acquire a knowledge base (MKB) of continuous processes through a distributed system. The proposed methodology combines MKB and case-based reasoning (CBR) for adaptive knowledge base creation, maintenance and updating trough the use of an architecture with the following aspects: i) distributed architecture network; ii) real-time operation; iii) advanced visu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011